81. Semantics With Applications : A Formal Introduction
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Programming languages (Electronic computers) - Semantics,زبان های برنامه نویسی کامپیوتر - معنی شناسی,Nielson, Hanne Riis, 1954-,Nielson, Flemming, 1955-
رده :
CD-B
,
QA
,
76
,.
7
,.
N54
,
1992
82. Semantics with applications: a formal introduction
پدیدآورنده: Nielson, Hanne Riis, 4591-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Programming languages )Electronic computers(- Semantics
رده :
QA76
.
7
.
N541992
83. Simple program schemes and formal languages
پدیدآورنده: Engelfriet, Joost.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
84. Simple program schemes and formal languages
پدیدآورنده: Engelfriet, Joost
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
85. Symposium on Semantics of Algorithmic Languages
پدیدآورنده: edited by E. Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
86. Symposium on semantics of algorithmic languages
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)- Semantics- Congresses►Formal languages- Congresses►Computer algorithms- Congresses
رده :
3
.
L28
,
no
.
188
87. Symposium on semantics of algorithmic languages
پدیدآورنده: edited by E. Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
88. Symposium on semantics of algorithmic languages
پدیدآورنده: / edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics -- Congresses,Formal languages -- Congresses,Computer algorithms -- Congresses
رده :
QA
76
.
7
.
S9
1971
89. Symposium on semantics of algorithmic languages
پدیدآورنده: edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
90. Syntax-directed semantics :
پدیدآورنده: Zoltán Fülöp, Heiko Vogler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Codegenerierung,Programming languages (Electronic computers) -- Semantics.,Transducers.
رده :
QA76
.
7
Z658
1998
91. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
92. The Logic of Partial Information
پدیدآورنده: by Areski Nait Abdallah.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
7
B937
1995
93. The formal semantics of programming languages
پدیدآورنده: / Glynn Winskel
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Programming languages (Electronic computers) -- Semantics
رده :
QA
76
.
7
.
W555
1993
94. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
95. Towards a formal description of Ada
پدیدآورنده: edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
96. Type systems for distributed programs :
پدیدآورنده: Ornela Dardha
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Verification,Electronic data processing-- Distributed processing,Programming languages (Electronic computers)
رده :
QA76
.
76
.
V47
97. Using formal description techniques
پدیدآورنده: / edited by Kenneth J. Turner
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
98. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده: edited by Kenneth J. Turner
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
99. XML Schema /
پدیدآورنده: Eric van der Vlist.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: XML (Document markup language),COMPUTERS-- Data Processing.,COMPUTERS-- Programming Languages-- XML.,Langages de balisage.,XML (Document markup language),XML.
رده :
QA76
.
76
.
H94
V36
2002
